A Locale for Minimal Bad Sequences
نویسنده
چکیده
We present a locale that abstracts over the necessary ingredients for constructing a minimal bad sequence, as required in classical proofs of Higman’s lemma and Kruskal’s tree theorem.
منابع مشابه
FINITENESS PROPERTIES OF LOCALE COHOMOLOGY MODULES FOR (I;J)- MINIMAX MODULES
ABSTRACT. Let R be a commutative noetherian ring, I and J are two ideals of R. Inthis paper we introduce the concept of (I;J)- minimax R- module, and it is shown thatif M is an (I;J)- minimax R- module and t a non-negative integer such that HiI;J(M) is(I;J)- minimax for all i
متن کاملMetachronous Bilateral Silent Sinus Syndrome: A Case Report
Introduction: Bilateral silent sinus syndrome (SSS) is a very rare pathology reported only in few papers in literature. Most of the described cases are simultaneous, and only one had a metachronous presentation. The evolutionary phases of the disease have yet to be well demonstrated and a complete radiological evaluation is needed to demonstrate the pathogenetic mechanisms that cause the ...
متن کاملMeasure, randomness and sublocales
This paper investigates aspects of measure and randomness in the context of locale theory (point-free topology). We prove that every measure (σ-continuous valuation) μ, on the σ-frame of opens of a fitted σ-locale X, extends to a measure on the lattice of all σ-sublocales of X (Theorem 1). Furthermore, when μ is a finite measure with μ(X) = M , the σ-locale X has a smallest σ-sublocale of measu...
متن کاملA New Characterization of the Continuous Functions on a Locale
Within the categoryW of archimedean lattice-ordered groups with weak order unit, we show that the objects of the form C (L), the set of continuous real-valued functions on a locale L, are precisely those which are divisible and complete with respect to a variant of uniform convergence, here termed indicated uniform convergence. We construct the corresponding completion of aW-object A purely alg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1208.1366 شماره
صفحات -
تاریخ انتشار 2012